Polyhedral Extraction Tool
نویسندگان
چکیده
We present a new library for extracting a polyhedral model from C source. The library is based on clang, the LLVM C frontend, and isl, a library for manipulating quasi-affine sets and relations. The use of clang for parsing the C code brings advanced diagnostics and full support for C99. The use of isl allows for an easy construction and a powerful and compact representation of the polyhedral model. Besides allowing arbitrary piecewise quasi-affine index expressions and conditions, the library also supports some data dependent constructs and has special treatment for unsigned integers. The library has been successfully used to obtain polyhedral models for use in an equivalence checker, a tool for constructing polyhedral process networks, a parallelizer targeting GPUs and an interactive polyhedral environment.
منابع مشابه
Manipulating Visualization, Not Codes
Manual program parallelization and optimization may be necessary to reach a decent portion of the target architecture’s peak performance when automatic tools fail at choosing the best strategy. While a broad range of languages and libraries provide convenient ways to express parallelism, the difficult, time consuming and error-prone parallelism identification and extraction task is mostly left ...
متن کاملExperiments with a Convex Polyhedral Analysis Tool for Logic Programs
Convex polyhedral abstractions of logic programs have been found very useful in deriving numeric relationships between program arguments in order to prove program properties and in other areas such as termination and complexity analysis. We present a tool for constructing polyhedral analyses of (constraint) logic programs. The aim of the tool is to make available, with a convenient interface, s...
متن کاملApproximation of Polyhedral Surface Uniformization
We present a constructive approach for approximating the conformal map (uniformization) of a polyhedral surface to a canonical domain in the plane. The main tool is a characterization of convex spaces of quasiconformal simplicial maps and their approximation properties. As far as we are aware, this is the first algorithm proved to approximate the uniformization of general polyhedral surfaces.
متن کاملCyberTape: an interactive measurement tool on polyhedral surface
Polyhedral mesh surfaces are widely utilized to represent objects reconstructed from 3D ranged images. In computer-aided engineering, it is desired to not only observe but also measure these three-dimensional objects. This paper presents an approach to measure the curve distance between two points on a polyhedral surface in the manner that simulates dragging a tapeline at the two points. After ...
متن کاملLocal Feature Extraction Using Scale-space Decomposition
In our recent work we have introduced a framework for extracting features from solid of mechanical artifacts in polyhedral representation based on scale-space feature decomposition [1]. Our approach used recent developments in efficient hierarchical decomposition of metric data using its spectral properties. In that work, through spectral decomposition, we were able to reduce the problem of mat...
متن کامل